- Title
- Computer-assisted discovery and proof
- Creator
- Bailey, David H.; Borwein, Jonathan M.
- Relation
- Contemporary Mathematics Vol. 457, p. 21-52
- Relation
- http://www.ams.org/books/conm/457
- Publisher
- American Mathematical Society
- Resource Type
- journal article
- Date
- 2008
- Description
- With the advent of powerful, widely-available mathematical software, combined with ever-faster computer hardware, we are approaching a day when both the discovery and proof of mathematical facts can be done in a computer-assisted manner. This article presents several specific examples of this new paradigm in action.
- Subject
- mathematical software; computer hardware; discovery; proof; mathematical facts; computer assisted
- Identifier
- http://hdl.handle.net/1959.13/1038697
- Identifier
- uon:13576
- Identifier
- ISSN:0271-4132
- Rights
- First published in Contemporary Mathematics in Vol. 457, p. 21-52, 2008, published by the American Mathematical Society
- Language
- eng
- Full Text
- Reviewed
- Hits: 1455
- Visitors: 1855
- Downloads: 428
| Thumbnail | File | Description | Size | Format | |||
|---|---|---|---|---|---|---|---|
| View Details Download | ATTACHMENT01 | Publisher version (open access) | 1 MB | Adobe Acrobat PDF | View Details Download |